Notations for Software Engineering Class Structures
نویسنده
چکیده
This builds on previous work in which we have developed diagramming principles based on theories of structural object perception. We call these geon diagrams. We have previously shown that such diagrams are easy to remember and to analyze. To evaluate our hypothesis that geon diagrams should also be easy to understand we carried out an empirical study to evaluate the learnability of geon diagram semantics in comparison with the well-established UML convention. The results support our theory of learnability. Both novices and experts found the geon diagram syntax easier to apply in a diagram-to-textual description matching task than the equivalent UML syntax.
منابع مشابه
Transformation of Class Diagrams into Formal Specification
Requirements analysis and design specification is a serious issue in software engineering because of semantics involved in the transformation of real world problems to computational models. Unified Modeling Language (UML) has been accepted as a standard for design and development of object oriented systems. Unfortunately, most of UML structures are based on graphical notations and are prone to ...
متن کاملUML Class Diagram Syntax: An Empirical Study of Comprehension
Despite UML being considered a software engineering standard, the UML syntactic notations used in texts, papers, documentation and CASE tools are often different. The decision as to which of the semantically equivalent notational variations to use appears to be according to the personal preference of the author or publisher, rather than based on any consideration of the ease with which the nota...
متن کاملGraphical Notations for Rule Modeling
This chapter describes various graphical notations for rule modeling. Rule modeling methodologies, empowered with graphical notations, play an important role in helping business experts and rule engineers to represent business rules formally for further deployment into a rule execution system. Rules, represented graphically, can be easier understood by business people and by technicians without...
متن کاملAn Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development
Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched with ideas mainly driven from the applications’ needs are often sponsor to those models and methodologies. Hence, they deal with very specific problems occurring in the hypermedia domain, thereby extending design notat...
متن کاملCombining Verification and MDE Illustrated by a Formal Java Development
Formal methods are increasingly used in software engineering. They offer a formal frame that guarentees the correctness of developments. However, they use complex notations that might be difficult to understand for unaccustomed users. It thus becomes interesting to formally specify the core components of a language, implement a provably correct development, and manipulate its components in a gr...
متن کامل